1. Abstract machine models for parallel and distributed computing
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Parallel computers,، Electronic data processing-- Distributed processing,، Machine theory
رده :
QA
76
.
58
.
A27
196
2. Abstract machine models for parallel and distributed computing
پدیدآورنده : edited by M. Kara... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
A38
1996
3. Applications of process algebra
پدیدآورنده : edited by J.C.M. Baeten
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004
4. CONCUR'90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : Proceedings
پدیدآورنده : J.C.M. Baeten, J.W. Klop, eds
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
458
5. CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Parallel processing )Electronic computers(-- Congresses
رده :
QA
267
.
C5927
1990
6. Concurrency theory :calculi and automata for modelling untimed and timed concurrent systems. ]CD[
پدیدآورنده : Bowman, Howard,Howard Bowman and Rodolfo Gomez
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Mathematical models ، Parallel processing )Electronic computers(,، Machine theory,، LOTOS )Computer program language(
7. Handbook of process algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
H335
2001
8. Handbook of process algebra
پدیدآورنده : edited by J.A. Bergstra, A. Ponse, S.A. Smolka
کتابخانه: (مازندران)
موضوع : Machine theory,Parallel processing )Electronic computers(
رده :
QA
.
H335
267
2001
9. Handbook of process algebra
پدیدآورنده : edited by J.A. Bergstra, A. Ponse, S.A. Smolka
کتابخانه: (طهران)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
H266
10. Process algebra and probabilistic methods :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
11. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
267
.
P36
2001
12. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
پدیدآورنده : Luca de Alfaro, Stephen Gilmore )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
13. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده : Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
14. Theoretical computer science
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Combinatorial analysis- Data processing,، Computational complexity,، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
164
.
T45